Comparing the time direction of timelike four-vectors

Metadata
aliases: []
shorthands: {}
created: 2022-03-01 19:01:32
modified: 2022-03-01 19:57:34

Let be a Minkowski space and . is timelike and is timelike or lightlike (but non-zero).

Statement:

Proof

TODO